perm filename CMBX9.360[360,GF]2 blob
sn#848927 filedate 1987-11-21 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β8↔&∩p→'#λ→LG∀ HdQp∂∧5P↓V UHαV U@βVu8∧Ua∃0¬U@ ⊂βU@ ⊂βU βU βU (∧∃ 0βT`00∧∀` @βT` @βT@ H∧∀@ PβT"Uλ
T `βT pβT pβS` x∧∪`!βS@1∧∩A0@λ∩A0@λ⊃(D⊂⊂λCapε !X'AA00'AA@0'AAP0'AAP8'AAP8'AA`0'AAP8'AAP8'AAP0'AA@8'AA08'AA⊂@'E)q0'AA08'AAP0'AAP8'AA`0'AA`8'AA`8'AA`8'AA`8'AA`8'AA`0'AAP8'AA@8'AA08%π !H"Qλ1x⊃πC`h∧B∃ π↓5⊂βA`@λα∀``βS``xαS@aλα∪ a⊂α∪a ↓Sa ↓R`q(↓∩`a0↓∩`a0↓∩@tPβR@tPβR@tPβR@tXβ∩`a0↓∩`q(↓∪a(↓∪a ↓∪ a_↓∪@aλ↓∪``x↓T`h↓T@p@↓U↓u8∧Q(D ⊃I#apε !X'Aa⊂8'Aa@0'AaP0'Aa`0'Aap('Aap0'Ab0'Ab0'Ab0'Ab8'Ab8'Ab8'Ab8'Ab8'Ab8'Ab8'Ab8'Ab8'Ab0'Ab0'Ab0'Aap0'Aap0'Aa`0'AaP0'Aa@0'Aa⊂@%εi!@"QλQx⊂GC`∞∩CDxβB@dxβCDxβC 4xβC@$xβC@4xβC`$xβC`$xβA@ 8↓∪`p0↓↓`$xβA@$xβA 4xβADxπSatxβADxβA 4xβA@$xβA@ H↓∪`p0↓α $xβD $xβD$xβD$xβD$xβC`4xβC@DxβC TxβB`dP∞RCT("⊃CAp∂π@↓X%εip8∧AIp8¬A p8εip8ε@Ip8ε@ip8πIp8πIp8α@@p⊂'A`P⊂β@Ip8α@Ip8α@Ip8↓A pp'CIp8↓A p8α@Ip8α@Ip8α@Ip8α@Ip8'Aip8'Aip8'Aip8'Ai!⊂%∧HT #I∧qp∂β!⊂HU↓p ↓T@p@↓@@EβCtxβ∧Tpβ∧ Thβ∧`D`β¬ 4`β¬ 4XβE@$Xβ¬`$Xβ¬`$PβR@tPβR@tPβR@tPβBb$Xβαb$Xβ∧@tXβD t`β∧ t`β∧ thβ∧tpββ`txββ@uβBa¬⊂∧↓a∃ π@`E8∧B$("∩∧B0∂π@↓λ↓∧)!λ↓∧)p8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓iqP'FIp8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓i!λ↓∧)!λ↓∧(T $D"!p∂α∀PλS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`tPλRB∀("∩Bq8∂π@aλ(∧*`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓i@ β↓i00αAi @α↓i @α↓i @α↓I @↓Ai00↓Ai@h'α(T %I$qp∂α⊂@¬RB⊂@¬S`qα∪`q↓∪`px↓∪`ph↓S`p`↓S`pX↓∪`pP↓∪`pH↓∪`p8↓S`p0↓S`p(α∪`p β∪`p_βS`pλ¬∪a ⊂βSa ∧∪`p0βS`p8βS`p@βS`p@∧∪`pHβS`pPβS`pXβS`pX∧∪`p`βS`phβS`ph∧∩B⊂(πRB⊂(πQ(D`
G#ap∧I!⊂'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8ε@Ip8ε@Ip8ε@Ip8εip8εip8εip8¬@ip8¬@ip8∧A)p8βAi!P%εHT &K%qp∂↓A(ε∩AQ_εSa↓_∧∪` λβ∧ λβ∪` λβ∧ λβ∪` λβ∧ λβ∪` ⊂ββ` ⊂β∪` ⊂ββ` ⊂β∪` _ββ _β∪` _ββ _β∪` βα` β∪` βα` β∪` βα` β∪` (βα (β∪` (βα (β∪` 0β↓` 0β∪` 0β↓` 0β∪` 8β↓ 8β∪` 8β↓ 8β∪` 8β↓ 8β∪` @β` @β∪` @β` @β∪` Hβ Hβ∪` Hβ Hβ∪` PβB@dx↓α@pPβ∪` XαB`dx↓α`PXβ∪` XαB`dPε↓`08λ∩A@8↓Ab∧("∪DB0∂π@`εβ h¬C pHπ@IpPπIp⊂Aa`⊂'@@ 8ε@Ip⊂↓Aa@⊂'@@0@¬@Ip⊂αα↓ ⊂'@@P@∧@Ip⊂β↓a⊂⊂'@@p8∧Ip⊂∧↓`p⊂'@A@βIp⊂∧BP⊂'@A 8α@Ip⊂¬A`@⊂'@A@8↓@Ip⊂εα ⊂'@AP@@Ip⊂παIp⊂πB)p⊂λα p⊂λAip⊂λAip⊂ ↓Ip⊂ A)p⊂
↓ p⊂
@i `λ@I `λ@HT 'H$Ap∂β↓∃_πT `8β∪``Xβ∪@`hβ∪ `xβ∪ `xβ∪aλβ∪aλβ∩`a_β∩`a_β∩@q_βR@q_βR@q_βR@q_βR@q_βR@q_βR@q_βR@q_βR@q_βR`a_β∩`qλβR`qλβSaλβ∪ `xβ∪ `xβ∪@`hβ∪`pHβT p(βTau0∧Q(E∂λβap¬i!H'Aa8'Aa 0'Aa00'Aa00'Aa08'Aa08'Aa08'Aa08'Aa08'Aa00'Aa00'Aa 0'Aa8'E q⊂'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8%∧)!λ"Q
∩λ∩ c``∧Tauλβ↓`dxβα`dpββ dhββ`dhββ`d`β∧ d`β∧ dXβD tXβ∧`dPβD`tPβD`tPβD`tPβD`tPβD`tPβD`tPβD`tPβD`tPβD`tXβ∧`dXβD tXβD t`β∧ dhβ↓ @0β∪ ` βAdpβ@ (↓@dxβ (∧T p0β∀au0¬B%x↓A`%xα↓ 5xε↔aF¬_↓&λ∧_@f_α⊃(E⊂∩Icap¬I!H'Aa8'Aa 0'Aa 8'Aa00'Aa08'Aa08'Aa08'Aa08'Aa00'Aa 8'Aa 0'Aa8'E q_'A`p0'Aa0'Aa⊂0'Aa⊂8'Aa⊂8'Aa⊂8'Aa⊂8'Aa⊂8'Aa⊂8'Aa⊂8'Aa⊂8β@Ip8¬↓@p⊂'Aa00α@I!λβBi!λ∧BλT )EC⊃p∂↓A0SA@⊂↓S @8βS@PαR`@`α∩`@h↓R@Ph↓R@Pp↓∩@Pp↓∩@dP∧∩ADXπRb∀`λS"∀pλT↓u(¬V uPβ⊗@dP↓β`TP↓β`TP↓β`TP↓C@DP↓C@DPαB`DPβBDP↓@ATPAA∀("∃∧α⊂∞G ⊃p%GI0(βA``(%@a⊂8∧i0⊂¬↓a⊂⊂%@A 8∧@I _¬↓a⊂_%A08¬I ⊂¬Aa ⊂%A08¬I ⊂¬Aa ⊂+Ajp8+Ajp8+Ajp8+Ajp8+Ajp8+Ajp8+Ajp8+Ajp8+Aj↓((¬(T *I∧ap∂α⊂8ε∩B⊂8ε∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∪`qλ↓∀aλ↓∀a↓∀ `x↓∀ `p↓∀@``↓∃`8α∃!u@∧Q(E0∩ICap∧↓ X%∧↓ X'Ab _'Ab ⊂'Bα_(↓b⊂(α↓`_(Aa`⊂(B↓P⊂)↓a@⊂)α↓0⊂)Aa ⊂)Aa ⊂)B↓_*↓a⊂*α`_*A``⊂*BP⊂+↓`@⊂+α0⊂+A` ⊂+A` ⊂,α+H,α+⊂8,Ak (-↓+0_-@hT +MεQp∂α πAA4Pλ↓↓p0¬S@phβC@4p∧βpp↓S`p`∧β $x∧βph↓∀p`βC%βBa⊂X↓∀↓P∧B@5λβB!0H↓∀ pH↓@pH↓∀@p@↓@p@↓∀@p8↓↓p8↓∀A0↓↓p0↓T`p0↓↓↓(↓∀`p(↓↓@p(↓∃p ↓↓@p ↓∃p_↓AA_↓∃↓⊂↓αp_↓∃ p⊂↓α↓λ↓∃ pλ↓α@pλ↓∃! P¬∃A⊂P∧UA`∧∃`p`βU``pβ∃``pβ⊗PpαVAα⊗ 1↓V !⊂↓⊃(E@⊃I#ap∧@h%∧@h'B↓@⊂(↓a0_(α↓⊂_(B↓⊂)α`⊂)αP_)B0_*α ⊂*α⊂⊂*BJ`@+Ajp@,αH,α*p⊂B
`_↓α
P_↓B
P⊂αB
@⊂βB
0_∧↓j _∧B
⊂¬B
⊂⊂εAj_εB p_πB `βD `βDλT ,I$ap∂αX¬∩BX¬∪A↓⊂↓Sa↓↓T↓x↓∀↓p↓T!`↓TAX↓∀AP↓Ta@↓U↓8↓∃↓0↓U! ↓UA_↓∃A⊂↓∃a5@∧V↓¬HβV uHβV uHβV uHβV uHβV uHβUα∃ λQ(EPGβap↓¬iA8&↓a8&↓!⊂@&a08&a 8%@a @%@a 8%@A @%@A 8%@A⊂8*B
P8*↓j0@)Aj @)↓j⊂8(α↓⊂⊂(↓a ⊂'Aa0⊂'α↓0⊂'↓a0_&B↓0_&Aa0_&↓a@_%B↓ (%Aa⊂8%ε !@"Q⊃@Db0(¬∪!d`β↓ T`β↓@T`β↓`T`β↓`Tp↓α UHαUA¬π∪ `0αSP@αR`PHαR@PPαR@PPαR@PPαR@`@@ DXβ↓@ λα∪↓0 βS`p0β⊃(F⊂εCapα @&A)P(&A)P(&A)P(&A)P(&A)P(↓AiP(BiP@αA)P0∧↓)P(∧AIP(¬↓)P(¬↓)P(¬↓IP(¬↓IP(¬↓IP(¬↓IP(¬↓IP(¬↓IP(¬↓)P(¬↓)P(∧A)P0∧↓)P @@P0&@`0P&@@`0"Q1 ∧b08∧SaThβ↓d`αA@d`αA@dXαA`dXαB $Pβ∩@dPβ∩@dPβ∩@dXαR`d`αB`$`βα $hβA@4xε∀!∧("→β↓P∂πAP@+B (-↓+ (-↓+ (-↓+ (-↓+ ((A@0('B@⊂(&A@P8&↓!0%AA⊂(%A! (%A! (%↓A (%↓A (%↓A (%↓A (%↓A (%↓A (%A! (%A! (%AA⊂(&↓!0&A P@'α`⊂@(↓`0@"QQ(∧b08∧∪aDpαA DhααD`αB DXαB@DXαB@TPβα`DP
RBTPβ∩@dPβ∩`TXαSP`↓∪ PX↓∪@P@↓Sae⊂∧Q(F0 Eβap¬AJ P(A ((↓ 0'A 00'A 00'A @ 'A)p('A)p(%βI p'A)p('A)p('A)p('A)p('A)p('A)p('A)p('A)p(&β @`"Qq@G"08βATx¬@ tpα↓ @_α∪ @8α@D`αA`T`αA`T`αA`T`αA`T`αA`Thα↓`Dpα↓ Dpε∪@⊂⊂βS $h↓∪ 4hπSB∀xλS"D`αα`dX↓C`TPα∧DPα∧DPα∧DXαβ@DXαCT`βαdpλ∀!$("~β↓X∂π@@%α P(&A)P(&A)P(&A)P(&A)P(&A @0&A H&A ⊂⊂α↓)P8β↓)P0βA)P0βA)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓) X↓BI X↓BHT 4BaQx∂@`4`αSdXβSd`αS 48α@↓∧P∧∪ ThαS ThαS ThαS ThαS ThαS ThαS ThαS ThαRA4P¬Q(FPπC¬↓x¬j0()↓j 8)↓j0(*hp(βB
⊂@*↓*@(*↓*@(*↓*@(*↓*@(*↓*@(*↓*@(*↓*@(*↓*@(*↓*@(*↓*@(&@`(%AP(%↓@@ %↓@0(%A@ &αIP8"Q
1@
πC`∧∩A∧hαS ThαS ThαS ThαS ThαS P8∧∪ P8∧∪ P@α∪ P@↓∪ P0↓S P(↓S P ↓∪ P_↓∪ PλαS!4hβ@DhαADhα↓ Thα↓@Thα↓`DhααDhααThαα TP¬↓↓$P¬↓↓$("≠↓0h∂π@@%α P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(%αi X"Q
R8∃∧b0βA p8βR@p ∧A!∀hα@0 α@@0 αS @⊂A`PλA`Thα ⊂@βαThβα`@αS PHαB ThαB PHαS PHαB ThαB PHαS PHαB ThαB PHαS PHαB ThαB PHαS PHαB ThαB PHαS PHαB ThαB PHαRA0_¬@a4P¬@a0_¬Q(Fpεb1_↓`P0%↓`0H&A ⊂α↓)P @@`(&A⊂λβA)P0βA)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓) X↓BI X↓BHT 7Fβ⊃_ B↓∧xπ∪@P0αS @Pα∪PPαR`P`αR`P`αR@``β∩@``β∩@``β∩@``β∩@``β∩@``β∩`P`αR`P`αSPPαS`@β∪ `0β∪ae⊂∧⊃(GεCA_α08%α⊂X&B@0&A@p0&A!⊂0&A!⊂0&A! (&A! 0&A! 0&A! 0&A! 0&A! 0&A! 0&A! (&A!⊂0&A!⊂(&A@p0&A`P0&A ⊂P&A 00&A)P(&A)P(&A)P(&A) X%αhT 8Fβ!` A``0↓∪a _↓S ` ↓@ D`β↓`d`αBdXβα TXαB@TPβα@TPβα@TPβα@TPβα@TPβα@TPβα@TXαB@TXβα TXβα T`β↓`dhβ↓↓∧p¬@ Uβ@`UPαV@UPαV@UPαV@UPαUa58¬Q(G⊂ ¬α1_↓`0(%↓` @&A⊂⊂↓↓IP @ 00&A⊂λ↓AIP0↓AIP(βIP(&A)P(&A)P(&A)P(&A)P(&A)P(%β `"Q∞1 ∧b0 β@@$`εR`08α∩` H↓R@0P↓∩@0P↓∩@TP¬∩aD`ε∪!E∧U TP↓α`4P↓α`4P↓B@4Pαα $PαA@DPπ∩@ _βQ(G λ∧#1Xβ@J⊂⊂(@J_(ip '↓)@8%βi x'↓)`('↓)`('↓)`('↓)`('↓)`('↓ P⊂'↓ P⊂'↓ P⊂'↓ P⊂'↓ P⊂'A 0⊂(α
⊂0"Q∞Q@
Db0∧↓!∧P∧↓!∧hαBThαBThαBThαBThαBThαBThαBThαBThαBThαBThαBThαBThαBThαA`dhαA`dpα↓ λαSa⊂⊂∧∀p_∧⊃(G0FB1_α``@%α``@&A!0_'↓! ⊂'↓! ⊂'A!⊂'A!⊂(↓ `⊂(↓ `⊂(↓@@_(A @⊂(A@ _)↓ ⊂)α*08)Aj@(*↓*P_*@hT ;HdA_ @↓ _¬↓↓∧P¬a ∧∪ P@αα@$hαBPH↓∪@P8αB$pαA`P@↓∪@`(↓ @0↓S`P(↓ @0↓∪`P ↓@ P(↓∀P_↓`@ ↓∀P_↓`@ ↓∀`λ↓↓ @⊂↓T Pλ↓↓ @⊂↓∀!(α@ %⊂β↓`e⊂β↓`e⊂αB U_αα E_αα E ↓α`$("≡β⊃P D`Pβα Pβα `(∧ip(β@Ip0α@J(αJ⊂(↓j @)AJ@(*↓J0@)`⊂()@0((@@P((@p('@a('a⊂0%α `P%α `P"Q∂⊃H
πα0¬AA∧P¬AA∧hαB`4pαB@$pαB@$xαB$xαB%αA@%αA@%β↓5λαA%λβ@5⊂α@@%⊂∧T`u_βUU αU 5(↓U %(↓∩`@(↓∩@` ↓∩@`_↓∩@ 0↓R@0 ↓Ra∧hα⊃(GP
¬"1_↓∧IA⊂&↓↓(&a(%@a(%@`p0%@@p0%@@`0)↓J ((A*0βIp0β@I`0∧IP0∧iP(∧@I@(∧@i0(∧↓)!_%∧hT εcQp∂β$P
∪`pHαS`pPα∪`pX↓S`p`↓∪`p`↓S`ph↓∪`ph↓∪`ph↓∪`ph↓∪`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβRB$P ⊃(@λ∩Jβapλ@k (-↓+⊂8,AkH,α*p⊂B
`_↓α
`⊂↓B
P_αα
P⊂αB
@⊂βB
0_βB*0⊂∧B
_¬α
⊂¬B
⊂⊂εB
⊂⊂εB
⊂πB p_λα p⊂λB `⊂ B `⊂ B P⊂
B Bλ&λ)2_%Hi"(% (T ↓λDQp∂β↓%_λ∀ p0βTP`αS@`pβ∪ aβ∪ Q⊂αSa⊂β∪Q αR`a β∩`P ↓α@ αR@` ↓α@ β∩@` π↓dPβ↓↓` β∩@` π↓dPβ↓↓` β∩@` π↓dPβ↓↓` β∩@` ↓α@ β∩@` ↓α@ β∩`Q0αR`a β∩`a β∪Q αS Q⊂αS aβ∪@`pβ∪```β∀ `@β∀b¬0¬⊃(@_⊂λCapπ@K ,↓ +AJp0+α
`@+α
PP*@@⊂8*`⊂@*@ @*@08)@@@@)@@P8)@@P8)@`@)@p8(@A@(@A⊂8(@A⊂8(A @(A08'@a0@'@A@@'@AP8'A`@'Ap8%α@a%α@a"QAp⊂π#Pλ∞∩cDX∞∩cDX∞∩cDX↓ε$X↓ε$X↓ε$X↓ε$x↓∧$x
∪bDx
∪bDx
∪bDx↓∧$8↓!P↓∩@!P↓∩@!P↓∩@!P↓∩CdP∂∩CdP∂∩CdP∂⊃(@(∩ Cap " 'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8%∧ !λ%∧ !λ"Qax⊃πC`λ∞RCdX∧C t`∧∧Dh∧∧4p∧β`4p∧C`4x∧β`5∧β`%λ∧β@%λ∧C %⊂∧Ta¬ ∧∃!¬(∧U@u8α⊗%8↓β@%(↓C`% ↓D%_↓∧ 5⊂↓∧@5↓D@Dx↓D`4p↓∧`Th↓∧@t`∞∩cTX∞Q(@8⊃ #apα↓A`0&αA0H%C↓`%C `h%β`Pp%`P@↓A`P_%A0↓A!⊂*A@⊂(+↓ ⊂(+A⊂ +B*p@,↓k8,↓k8,↓k8,↓k8,↓k8,↓k8,↓k8,↓k8,↓j!_)∧hT ∧πd!p∂↓B% ∃@e0β∃@e0β∃@e_εTα4pβ@ `⊂βS `_β↓d`β↓`(β∩``(β↓@dPβA `0βR@p(β↓@tPβA `0βR@p(β↓@tPβA `0βR``(β↓@d`β↓`(β∪ `_β↓dpβ@ `⊂βTα5_εU@e0β∃@e0β∃@e ∀α$("α$"(∂πA↓⊂)∧K0,↓K0,↓I0(∧↓A0%↓`p0βAi@0β↓@`0&A@P0αAIP0αA@P0&A@P0αAIP0αA@P0&A@P0αAIP0αA@P0&A@P0αAI`(αA@P('↓@@0α↓Ip(α↓@@('A@00↓AJ0↓↓@ 0(E
1+αK0,↓K0,↓K0)∧J!⊂"Q↓"λ⊃GC`X¬TB∃βA`txβα`dpββ dhββ`d`βC`t`β∧ dXβD tXβD tXβD tXβD tXβD t`β∧ d`β∧ d`βC`thββ`dpαC`TpαC`TxαC Uαβ Eαβ DP↓↓ @Xα↓ $P↓↓@0X↓A@$X↓↓ 0X↓A $X↓↓@ X↓↓@$X¬B!4X¬B!4X¬B!4`¬α!$`¬αA∀("αa@∞πp@'C `(α↓)P ∧↓ @(∧↓)0(¬↓)0(¬↓)0(¬↓)0(¬↓) 0¬↓I 0¬↓I 0¬↓I 0¬↓I 0¬↓I 0¬↓I 0¬↓I 0¬↓I 0¬↓I 0¬↓I 0¬↓I 0¬↓I0(¬↓)0(¬↓)0(¬↓)@(∧↓)P(β↓)`(α↓)p`(BλT _DBa`∞α 5⊂α∪A∧Pε∩@@⊂β∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∩B$P ⊃(C⊂
¬cA`αB Ph&`P8%A `0%↓``0%↓``0%↓``8%↓`p0%A!0&a⊂0+Ajp0+A*`0*AJP(*↓
0 )↓
⊂_∧J_∧@J⊂¬Ip⊂¬ia&D Aλ%DI!_%∧hT →EC↓`∞↓a∧xε∪@00αS @0β∪`0β∪p(β∪p(β∪p(β∪ P(β∪@00β∃@e(β∀!¬λ∧∃`U@αVeHβ∪@HβR``@βRA8βRA8βRA8βRA8β∩``@β∩`P@β∪@8β∪AU∧Q(C ε#A`λk⊂ ,↓*p0+↓j`8*@@⊂(*`⊂()@` ()`0((@`@((`P((@`('@@p('`p(&@a(&a⊂(%@a (%a0(%ε !@+AJp0+AJp0+AJp0)∧
!"QεQ Gβ@⊂↓B@4`λ∪↓t`π∪↓T`¬St`↓∪$`↓∪$`↓`t`↓!4`αA T`↓BThB e8β∃`u8βR`@@βR@`8βR@p0βR@p0βR@`8β∩`@@β∩`0@β∪00β∪!Dx∧⊃(C0εβA`¬↓j⊂X(↓ P_'↓ `(&A `0&Ap0&↓ p0%A@p0%A!⊂ %A) 0%↓@0@%↓@ P%↓@⊂λβA) 8∧A 8∧A) 0¬↓I 0¬↓I 0¬↓I 0¬↓I0(¬↓I0(¬↓I0(¬↓I@ ¬↓)@(∧A)P ∧↓)`(αA)p`)↓hT ≠EC⊃h∞@ $X
RbTX
∩b4X ∩B$P↓C$P↓β$P↓α`$P↓α`%0↓∃ % ↓U5_α∀`5⊂α∀@EλαT UλαTeβ∀eβ∀eβ∀ E⊂↓⊃(C@εβA`∧↓ip`'↓` &@a⊂ &@a &↓↓ &↓↓ &↓!⊂ &↓`p &α @ &B@⊂ &CI`h'C)pp&D)@ ααi0 βαI0 ∧α) ¬Ai εA) π↓ π↓ πi0 ε@i0(¬@i@0βA `p(α(T ≤EC↓`∞↓a∧xε∪ P(αSP@α∩`PHαR`PPα∩@`PαR@`PαR@`PαR@`Pβ∩@`Pβ∩@`Pβ∩@`Pβ∩`PHβS@HβSP8@ dp¬@dx∧`ePβ⊗@Thαα T`βαT`β↓`T`β↓`D`β↓@Thα↓@Th↓A@Tp¬Tt(" αA8⊃H!⊂⊂)@J0⊂(α ``&A ⊂↓A @_α@P_%@`P⊂βI0_α@@@(%↓P⊂↓AI α@@00%↓P⊂↓AI (α@00%↓` ⊂α@I X%C)0x&βiPx'βjh)Bi@⊂α@@ 8%A@⊂α↓) 0↓@@@(%↓@0⊂αA 0↓@@P %↓ @⊂αA 0⊂β@P_%@@`⊂α↓ @⊂α@@@_&@`0⊂↓↓ ``(↓j0⊂)@HT ∪λdQp∂α`U βT@@ ↓∀ @0↓∀ @0↓∀P0↓∀P0↓∀P0↓∀P(↓∀P ↓∀P_↓∀P⊂↓αA%λβBa%λβ∧%λαD%⊂αC`%λββ@%↓ P`↓∪` ⊂βα`$hα`PP↓∪@ βα$XαA `0↓∩@`0β↓ $Pβ↓``_↓∩@`@α@@$Pβα tXβα `X↓∩``HβB 4`β↓ Pλβ↓@4pε↓!EβB`t("∂b!(∂π@P@&C)0 β↓I0 βA) 0β↓I 0β↓I 0β↓I0 βAI@⊂βAJ@0*↓
0 )@j _)J ⊂)J ⊂)J ⊂#Ap_(↓)p8'Aip8(↓*⊂_"Qπa⊂
GBP8↓TTxβS`txβTUλ↓Q`@@↓∀@%λ↓∀ %λ↓∀ %↓S`Dpα∪ T`αR``8↓∩@`8α∩@`0β∩@`0β∩@`0β∩@`8α∩`P8α∪↓Tp∧Q(A¬C"1_α @&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(%αi X"Qα⊂xεπα08∧∀!¬ αUU αUU αUU αUU αUU αUU αUU αUU αUU αUT`↓↓@TXα↓ TPβ↓DPβ`TXα↓D`¬∪ t("ε#↓P∂πAH(β)p(αA)`(βA)P(∧↓IP(∧↓IP(∧↓IP(∧↓IP(∧↓)P(βAIP(β↓I @↓Ai @↓AiP(β↓)P(∧↓)P(∧↓IP(∧A)P(∧AIP(¬↓)P(¬↓IP(¬↓IP(¬↓IP(¬↓IP(¬↓IP(¬↓IP(↓@`@0&A (↓A)P(↓↓ (&A (AI @↓B) @α↓HT
λDA_ A↓ 8βS↓`_¬R``(α@ @0↓R``0∧α4Xβ↓``Hα∩``8βα@4h↓α PXα⊗PXα⊗αEλ
SA⊂αS`0αR`P@αR@PPα∩@PPαR@PPαC$PαB pX↓∩``(α@ P8↓S↓P εSA⊂H∧⊃(AX∪ b1_∧↓a 8'C PX'↓p ↓A`_&A↓⊂ A↓_&↓↓08∧A 0(ε↓A _%A↓P(¬A (εA!0 %↓!Q %↓!Q %↓!P(%↓!P(%↓!P(%A↓P(%A!08&↓↓08εIP ∧A⊂ ¬@I`(αA 0(β@iphαC* 8¬BλT ∞εβ⊃`E%h↓W %`↓∀Aλ↓SadpαA@Thααd`αα λα∩`P@↓@TXαα0_α∩@P8↓ATPαA` (αR@P0↓A TPαA 00αR@P(↓↓`TPαA08αR`@_↓BDXα@@ @αS@λ↓α D`βBThβ↓@dxπ∪@0λ∧∪@$h↓∪4`↓⊃(Ah⊗Capεπ*ah-@ 0∧AK⊂_↓↓A0 ,@@00εk⊂⊂↓AAP⊂,@@0ε@k⊂α↓A`⊂+@@P0πJp⊂αAA`⊂+`P0β@@P⊂+@`0β@JP_β↓@p⊂*@@p0βjP⊂βA@P *ε*AH)@A⊂0αA
0⊂∧A@`_)a⊂0β@@p⊂)A 0β@@p⊂)A 0β@@p⊂(@A00π@J⊂⊂¬AAp⊂(A@0π@J⊂ε↓A`_'@a@0εA p⊂εAA@('aP0¬↓I XαFI XαFHT ∂εAp∂β∧∃_∩∀ p8∧α@eβα@p`α∪@pXβC 4hβC `p↓∪ `pββ@4`βC@`x↓∪`xββ`$XβC``H↓↓$Xβ∧`H↓↓$PβD`H↓∩@qβα4PβD`8α∩@qλR@qλR@qβ↓`DPβD`@↓R@qβα $PβD`H↓↓@$XβC``H↓↓@$XβC`aλ↓∩`pxβ∧$`βC@a↓∪ `pβ∧$hβC `x↓S@pXβC@DxβB@phαT p8∧α`e_∩UD$("πd"(⊃Hβ0⊂2j`PαJ1⊂(A``8(↓!@('↓AP8&AAPH&A!`⊂↓↓)@0ε@@00&↓A@_↓AI00ε@@P0%AA@⊂β↓I 8¬@``8%↓a0⊂βAi 8¬`p8%↓a⊂_∧↓i 8∧@A⊂8%↓a_∧Ai 8β@a 8%↓`p⊂¬Ai 8βa08%A@`⊂ε↓I00α@AP0%A`0_ε↓i@0↓@AP0&A ⊂π↓)PHεAI`8εAIp0ε↓J⊂0∧↓J⊃⊂(@@P'@ip⊂"Q∧⊂8¬GC`⊂↓R`TPβR@tPβR@tPβR`TXαR`TXαR`TXαS4`↓S4`↓S4`↓S48α@4XαR@tPβR@tXαS4("∂pX∂¬ _%A) 8%↓i 8%A)@_#A _&i@_&i@_&i@_%A)0(%A)0(%A)0(%↓i 8%↓i 8%↓i0(&hT ⊃I%α8∂∧ 0@↓V`0@↓V`0@↓V`0@↓V@0@↓V@0@↓V@0@↓V@0@↓V 0@↓V 0@↓V 0@↓V 0@↓Rd4P∩RDU8↓B58↓B50↓B50↓B50↓B50↓B50↓B5(↓B5(↓B4P∩RDTX⊃T`0@↓T`0@↓T`0@↓T@0@↓T@0@↓T@0@↓T 0@↓T 0@↓T 0@↓T 0@↓T0@↓T0@↓T0@↓Q(B(∩J∧2λαA"P⊂&Bα0_&↓0 λ↓ @_βaP(%@`p0βAi0_β@`⊂x%↓↓⊂α↓@ _%↓↓⊂¬A ∧A %↓↓⊂∧A ∧A⊂_%↓↓⊂∧i ∧@p %@`p_β↓ 0_β@@` &``⊂βi@ ↓@``_&B` 'A ` ∧↓+ _βB⊂_βA0_,↓` βJp β@`p⊂+↓p ∧J`_∧↓↓⊂*@a⊂ ∧J@ ∧A↓⊂)A↓ ∧J ¬A↓⊂)a@ ∧J⊂_εA↓⊂(↓↓`_β@Ip πA`⊂'@b⊂ ↓@i`_ B p⊂
A(T ∪B↓@x∂@4XαR@tP∧∩A∧XβS0λ↓∀%↓∪`$x↓∪@4p↓∪ $X↓S∀("
↓Qλ⊗λ!0⊂)@j _(@j_(ip_'i`_&A P_&↓ @ %A 0 %A 0 %↓) %↓ %↓ %↓ %↓ %↓)0 %A 0 %A @ &↓ P_&A `_'ip_(j_(@j _)@jP⊂"Q¬⊂hλ∧⊂↓∩`4`↓S 4p↓S@4x↓T5↓TEλ↓T Eλα∀@E⊂α∀@E⊂α∀@U_α∀`E_α∀`E_α∀`E_α∀`E_α∀@U⊂α∀@E⊂α∀@Eλα∀ Eλ↓TE↓T4x↓S@4p↓S 4`↓R`4P↓⊃(BP
¬b2λ∧@J )↓
%@`@ αi (α@@(%↓@0⊂↓AI08@@⊂8'β
⊂0(AI``%A`⊂⊂Ai 0↓@@00%↓ @⊂α↓)0_α↓@_)↓
)↓
0⊂"Q¬2⊂∩HCA↓V@5P↓V@5P↓V@5P↓V@5P↓V@5P↓V@5P↓V@5P↓V@4P⊃∩D$P⊃⊗@5P↓V@5P↓V@5P↓V@5P↓V@5P↓V@5P↓V@5P↓V@5P↓Q(B`∧β↓p0↓i0(%↓i @%α 08&`⊂⊂(J⊂'@Ip⊂'i`⊂&@I0_&(T ↔↓a00β@4XαR@tPβR@tXαS4("bA8⊗λ" ⊂-@k0_-k _,@k⊂_,@k_,jp_+@jp_+j`_*@jP_*@j@_*j0_)@j _)j _(@j⊂_(j_(ip_'@i`_'i`_&@iP_&i@_&i0_%@i _%i ⊂"Qπ 8¬Db0⊂↓R`TPβR@tPβR`T`↓Q``⊂↓R`TPβR@tPβR`T`↓Q(CXβBcA_↓i0(%↓i 8%↓i0(&hp0↓i0(%↓I 8%↓i00&↓)p⊂'@I`⊂'I`⊂&@I@_%@i@λ"QπR⊂∩CB λ⊂∩D$P⊃⊃a⊂⊃∩D$X⊂⊃(D⊃ #apεαJ1(A! ((b_'@B@⊂'B`⊂&@A⊂0∧@I@⊂βBa⊂&@`(α@`p⊂%@@`(β@`p⊂%@@P(∧A @⊂%`P(∧A @_%@P(¬↓ P⊂%@P(¬↓ P⊂%@P(¬↓ P⊂%@P(¬↓ P⊂%@P(¬↓ P⊂%@P(¬↓ P⊂%@P(¬↓ P⊂%`P(∧A P⊂%@@P(∧A @⊂%@@`(βA@@⊂&@`(αA`0⊂&@pXB P⊂∧A@P('Ip⊂(b@((A!@@)E
``"Q0@εK∧⊂∧∩A∧P∧∩@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P∧∩A∧P∧⊃(Eh∧α%Bλα @%α p_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_%α @%αλT 0α↓0x∂↓ ∀p↓S $`↓∩`4X↓∩`$P↓∩@$P↓ 4PβRA∧P∧∩`t`αS 4("∧A xβG@⊂ %A)00%Ai@0'↓* )(T BBP8∂↓ DpαS d`βSdXαR@DXQ(A ε∧`Q`A⊂%↓ (%BI@@'↓ p⊂"QαQ
Bβ`↓β$P↓β$P↓B@4X↓α@$X↓B4`α↓D`ε∪A∧xβ⊃(A0 ¬@!P∧I!⊂%∧HT Bc⊂0∂@tX∧R@ 8↓∩@ 8↓∩@ 8↓∩a∀`βQ(0β∂x␈␈␈p`αOx␈␈}␈x␈␈␈p β∪A¬λβ∀`U_αT`Uλβ∩ADP∧Q(Bπβ`Qλ¬@j 0'α 08%↓λT /βB@0∂↓@$xα∪@dh∧∪@⊂α∩`@ α∩` @↓⊃(Ex∧α`ax↓↓ 00%AI @%AI00&↓λT >Dαp@∂@` 8↓∪@(α∩``_β∩`P αR`P αR@P αR@@(α∩@00↓R`⊂@Q(Gp ¬@Qpα↓↓λ&A`P_&βi0x%`P8%@! "Q∂q
A#p⊂↓α$Xα↓@DPβ↓dPβ↓dXα↓@D`↓α$("αd"⊂∂πA@@αAj0`↓αJ⊂0αB0((↓ `@↓AJ βA`@0'A p8α↓Ip(∧↓@P 'A!⊂('A!⊂('A!⊂('A!⊂(%π)!h'A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂(&α`0`&α`0`"Q↓AP
πC``∧∀aEλβ↓ EαA@Uα↓`TxαA`TxαA`TxαB4xαS`TxαA!∧PRBtxαBTxαBTxαBTxαBTxαBTxαBTxαBTxαBTxαBTxαBTxαBTxαBTxαBTxαBTxαBTxαBT`¬@A4`¬@A4("β#!P∂πA@X)CJ⊂0α↓J(αAj β↓ip(βAIp(∧↓)p(∧↓)p(∧↓)p(∧↓)p(∧↓)!8%¬ip(∧↓)p(∧↓)p(∧↓)p(∧↓)p(∧↓)p(∧↓)p(∧↓)p(∧↓)p(∧↓)p(∧↓)p(∧↓)p(∧↓)p(∧↓)p(∧↓)p(∧↓)p(∧↓)@X↓αi@X↓αhT π
%⊃p∂β↓0∧∀a@⊂εT `0∧↓@EαA`p8αT@8∧↓`TxαA`p@αS`P@βαTxαB`H↓S`PHαS`PHαS`PHαAA∧P∪∩DdxαB PHαS`PHαB TxαB PHαS`PHαB TxαB PHαS`PHαB TxαB PHαS`PHαB TxαB PHαS`PHαB TxαB PHαS`PHαB TxαB PHαS`PHαB TxαB PHαS`PHαB T`¬@a0_¬S↓0_¬@a4("βe∩H∂πA@@ββ
0hCj⊂0αB P0(↓ `@β↓j βA`p8'A p8∧↓Ip(∧↓A⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂(% I"0'A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂(&α`0X↓Bi@X↓B`0X"Q∧!_
Cc`⊂↓B4XαA@TPβAtP∧a∧P∧a∧XβAt`↓@ (↓@ %↓α %↓α $x↓α $x↓α $p↓B4p↓α $h↓α $X↓B4`B@∀("!Pp↓B`h%β) h%β(T .∧c⊂x∂↓ ⊂PS@0@↓S H↓∪ H↓∩`0@↓R` H↓∩` H↓∩@ H↓∩@ H↓∩@ λ↓A λ↓R@p βRA_∧∩A_∧∩`p βSP0αS 0@↓Q(GX
ε@⊂`εI!P"Q∂C ~!@~∩FD(wCm⊗ 2[NFH3~,W⊂⊂⊂iT⊂,;bV_7Y
⊗p3\l6@2[,R*→+α:→/π wCfx7≥fλ1Y,'H:→>0v∂@¬{`$:β⊃∪P↓∨38↓∨38␈␈␈␈hβ(␈␈␈␈(αλ{∧¬Wm⊂¬5?0KxcD↑`⊂∀@↓kHe@↓05⎇@2(β'@ αp⊂{↓∧0ε'h¬n∨0αJ pe∂q↑`0∪↓Z`B@↓@"⎇@rHβW≤Xβ
p{α∧`εk⊂Pε!␈0∧J p\r`b≡`P∪↓Z`B@↓P∧⎇A1xαa5H¬B{ββP¬!⊗P∃∨0εG PB- ⊗H≡`p⊗↓|8λαhM⎇Ar`βxq¬d`{∧↓`αPK0λ∧o0λD(d?@⊂∃>a⊂
@↓↔88αP↑=B1Xα.w¬-_{¬β0∧]n
]/0
F`H;\∃@>a0
@↓↔88αX∪=Br@βI∀H¬3_{εβ∧~E0
io0GHo∨@⊂(≡aP∪↓Z`B@αλ∪⎇C2HβW≤X∧_p{πβ0∧]nλ?␈0∞L↓λ⊃-`⊃≡↑ap≠α3h!α_↔⎇CrHβW≤X∧> {λ↓pαPK0
o/0⊂D(aS@∩$>b⊂∞↓≡λRαx⎇D2`βxq∧Px{ β0∧]nπK∂0∩KxcD∩j↑b0∀@↓kHe@↓py⎇Dpx↓(%X∧gx{
αPβW≤P U∂0∀E 8.9 ∪B>bP
@↓↔88α85=E2HβW≤X∧{H{↓pαPK0
o0⊗D@0'h↔S≡bpπ@T⊂-@α@↔⎇EqXα.w¬∧ {β0∧]nεS∂0_F`H;\
B}c⊂
@↓↔88↓X'=F1Xα.wβ:8{
β0∧]nπ↓/0~F`H;\∞→>c0
@↓↔88↓`a=FqXα.wβS_{∞β0∧]nπ/o0≤F`H;\∞y}cPπ@T⊂-@α@R⎇G0x↓(%X¬P{∂ααpi` ~∂0≡J p\r`∀@>cp@↓∂g↓xl⎇GqHα≡pβx`{⊂¬⊂π.90
"o0 Jp$R λ}d⊂∪↓W "@G=H20β5H(⊂({⊃¬⊂π 10.o0"H``6+@|>d0⊂@↓>0ε⊂8=HrPβ\∂`-X{∩¬⊂π2G@jO0$E8∩↓ ↓t}dP
@↓≤(i =I2PβY}`FX{∪∧¬Wm⊂↓≥o0&L@↓λyβαQ}dp∀@↓lP≡0⊗=Ir@βG
8lx{∀∧@ε;4 ↓i/0(Jp≤5`βj>e⊂∀↓c↓@#=J1hαPK(↓8{∃∧PεJr α&∂0*J pDq∧e}e0∀↓dH$@P=Js8∧q: ↓(8{⊗¬π∩)⊂αi/0,Jp$R ¬o}eP⊂↓9λ⎇@`⊃=K0x↓(%X¬≥λ{↔β@∧x4@k?0.C`(!⊗`∃↑ep
@↓↔88αXE⎇Kpx↓(%X¬:0{_↓pαPK0
R?00F@H~π@ε#>f⊂∞@↓( Z@`o=L1@α
"X↓Th{→βP¬!⊗Pβ1O02F@X↓ ε}>f0λ\@␈p≥=LqXα.w↓hH{~βP¬!⊗Pβ←∂04C@(!⊗`πY}fPλ\@␈xS=M1`α?a αλ{≠↓`αPK0∧
O06K@xcDλ,>fp∞@↓( Z@↓λ≥=MqXα.wα→8{≤βP¬!⊗P∧<o08GH␈∧@ ∪}g⊂|x)↓⊂]=N1(↓n⎇ α/h{≥αPβW≤P∧h/0:G PB- c>g0∞↓∨p
↓_s=Nr0β5H(αBx{≡β@∧␈B@¬⊗∂0<GH␈¬
?>gP↓εP∃@↓(1=O1Xα.w¬z0{∨εP ;\v∨0>F`H;\∃n}gp
@↓↔88αXs=OqXα.w¬@λ|@αx{`{⎇xow{⎇x